формалдуу далилдөө Кыргызско-русский словарь математических терминов (1996) формальное доказательство